verifability theory of meaning